Optimal. Leaf size=798 \[ \frac {1}{9} a^4 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^8-\frac {1}{24} a^3 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x^7+\frac {19}{63} a^2 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^6+\frac {1}{84} a^2 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x) x^6-\frac {103 a c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x^5}{1008}-\frac {1}{504} a c^2 \sqrt {a^2 c x^2+c} x^5+\frac {5}{21} c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^4+\frac {67 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x) x^4}{2520}-\frac {205 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x^3}{4032 a}-\frac {c^2 \sqrt {a^2 c x^2+c} x^3}{240 a}+\frac {c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^2}{63 a^2}-\frac {47 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x) x^2}{30240 a^2}+\frac {47 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x}{896 a^3}+\frac {85 c^2 \sqrt {a^2 c x^2+c} x}{12096 a^3}-\frac {2 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3}{63 a^4}-\frac {115 i c^3 \sqrt {a^2 x^2+1} \tan ^{-1}\left (e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)^2}{1344 a^4 \sqrt {a^2 c x^2+c}}-\frac {6157 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)}{60480 a^4}+\frac {1433 c^{5/2} \tanh ^{-1}\left (\frac {a \sqrt {c} x}{\sqrt {a^2 c x^2+c}}\right )}{15120 a^4}+\frac {115 i c^3 \sqrt {a^2 x^2+1} \tan ^{-1}(a x) \text {Li}_2\left (-i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}}-\frac {115 i c^3 \sqrt {a^2 x^2+1} \tan ^{-1}(a x) \text {Li}_2\left (i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}}-\frac {115 c^3 \sqrt {a^2 x^2+1} \text {Li}_3\left (-i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}}+\frac {115 c^3 \sqrt {a^2 x^2+1} \text {Li}_3\left (i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 19.66, antiderivative size = 798, normalized size of antiderivative = 1.00, number of steps used = 547, number of rules used = 12, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {4950, 4952, 4930, 217, 206, 4890, 4888, 4181, 2531, 2282, 6589, 321} \[ \frac {1}{9} a^4 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^8-\frac {1}{24} a^3 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x^7+\frac {19}{63} a^2 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^6+\frac {1}{84} a^2 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x) x^6-\frac {103 a c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x^5}{1008}-\frac {1}{504} a c^2 \sqrt {a^2 c x^2+c} x^5+\frac {5}{21} c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^4+\frac {67 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x) x^4}{2520}-\frac {205 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x^3}{4032 a}-\frac {c^2 \sqrt {a^2 c x^2+c} x^3}{240 a}+\frac {c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3 x^2}{63 a^2}-\frac {47 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x) x^2}{30240 a^2}+\frac {47 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^2 x}{896 a^3}+\frac {85 c^2 \sqrt {a^2 c x^2+c} x}{12096 a^3}-\frac {2 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)^3}{63 a^4}-\frac {115 i c^3 \sqrt {a^2 x^2+1} \tan ^{-1}\left (e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)^2}{1344 a^4 \sqrt {a^2 c x^2+c}}-\frac {6157 c^2 \sqrt {a^2 c x^2+c} \tan ^{-1}(a x)}{60480 a^4}+\frac {1433 c^{5/2} \tanh ^{-1}\left (\frac {a \sqrt {c} x}{\sqrt {a^2 c x^2+c}}\right )}{15120 a^4}+\frac {115 i c^3 \sqrt {a^2 x^2+1} \tan ^{-1}(a x) \text {PolyLog}\left (2,-i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}}-\frac {115 i c^3 \sqrt {a^2 x^2+1} \tan ^{-1}(a x) \text {PolyLog}\left (2,i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}}-\frac {115 c^3 \sqrt {a^2 x^2+1} \text {PolyLog}\left (3,-i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}}+\frac {115 c^3 \sqrt {a^2 x^2+1} \text {PolyLog}\left (3,i e^{i \tan ^{-1}(a x)}\right )}{1344 a^4 \sqrt {a^2 c x^2+c}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 217
Rule 321
Rule 2282
Rule 2531
Rule 4181
Rule 4888
Rule 4890
Rule 4930
Rule 4950
Rule 4952
Rule 6589
Rubi steps
\begin {align*} \int x^3 \left (c+a^2 c x^2\right )^{5/2} \tan ^{-1}(a x)^3 \, dx &=c \int x^3 \left (c+a^2 c x^2\right )^{3/2} \tan ^{-1}(a x)^3 \, dx+\left (a^2 c\right ) \int x^5 \left (c+a^2 c x^2\right )^{3/2} \tan ^{-1}(a x)^3 \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 7.27, size = 850, normalized size = 1.07 \[ \frac {c^2 \sqrt {a^2 c x^2+c} \left (-\left (\left (1536 \left (711 \cos \left (2 \tan ^{-1}(a x)\right )-126 \cos \left (4 \tan ^{-1}(a x)\right )+105 \cos \left (6 \tan ^{-1}(a x)\right )-178\right ) \tan ^{-1}(a x)^3+3 \left (13074 \sin \left (2 \tan ^{-1}(a x)\right )-26742 \sin \left (4 \tan ^{-1}(a x)\right )+6362 \sin \left (6 \tan ^{-1}(a x)\right )-5469 \sin \left (8 \tan ^{-1}(a x)\right )\right ) \tan ^{-1}(a x)^2+\frac {8 \left (153529 \cos \left (2 \tan ^{-1}(a x)\right )+59266 \cos \left (4 \tan ^{-1}(a x)\right )+16407 \cos \left (6 \tan ^{-1}(a x)\right )+87630\right ) \tan ^{-1}(a x)}{a^2 x^2+1}+74932 \sin \left (2 \tan ^{-1}(a x)\right )+77908 \sin \left (4 \tan ^{-1}(a x)\right )+36612 \sin \left (6 \tan ^{-1}(a x)\right )+7238 \sin \left (8 \tan ^{-1}(a x)\right )\right ) \left (a^2 x^2+1\right )^{9/2}\right )-16128 \left (32 \left (5 \cos \left (2 \tan ^{-1}(a x)\right )-1\right ) \tan ^{-1}(a x)^3+\left (6 \sin \left (2 \tan ^{-1}(a x)\right )-33 \sin \left (4 \tan ^{-1}(a x)\right )\right ) \tan ^{-1}(a x)^2+6 \left (36 \cos \left (2 \tan ^{-1}(a x)\right )+11 \cos \left (4 \tan ^{-1}(a x)\right )+25\right ) \tan ^{-1}(a x)+\frac {48 a x}{\left (a^2 x^2+1\right )^2}\right ) \left (a^2 x^2+1\right )^{5/2}+774144 \left (-11 i \tan ^{-1}\left (e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)^2+11 i \text {Li}_2\left (-i e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)-11 i \text {Li}_2\left (i e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)+10 \tanh ^{-1}\left (\frac {a x}{\sqrt {a^2 x^2+1}}\right )-11 \text {Li}_3\left (-i e^{i \tan ^{-1}(a x)}\right )+11 \text {Li}_3\left (i e^{i \tan ^{-1}(a x)}\right )\right )+256 \left (-16407 i \tan ^{-1}\left (e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)^2+16407 i \text {Li}_2\left (-i e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)-16407 i \text {Li}_2\left (i e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)+12788 \tanh ^{-1}\left (\frac {a x}{\sqrt {a^2 x^2+1}}\right )-16407 \text {Li}_3\left (-i e^{i \tan ^{-1}(a x)}\right )+16407 \text {Li}_3\left (i e^{i \tan ^{-1}(a x)}\right )\right )+576 \left (\left (64 \left (-28 \cos \left (2 \tan ^{-1}(a x)\right )+35 \cos \left (4 \tan ^{-1}(a x)\right )+57\right ) \tan ^{-1}(a x)^3-3 \left (211 \sin \left (2 \tan ^{-1}(a x)\right )-60 \sin \left (4 \tan ^{-1}(a x)\right )+103 \sin \left (6 \tan ^{-1}(a x)\right )\right ) \tan ^{-1}(a x)^2+\frac {8 \left (764 \cos \left (2 \tan ^{-1}(a x)\right )+309 \cos \left (4 \tan ^{-1}(a x)\right )+647\right ) \tan ^{-1}(a x)}{a^2 x^2+1}+4 \left (101 \sin \left (2 \tan ^{-1}(a x)\right )+88 \sin \left (4 \tan ^{-1}(a x)\right )+25 \sin \left (6 \tan ^{-1}(a x)\right )\right )\right ) \left (a^2 x^2+1\right )^{7/2}+64 \left (309 i \tan ^{-1}\left (e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)^2-309 i \text {Li}_2\left (-i e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)+309 i \text {Li}_2\left (i e^{i \tan ^{-1}(a x)}\right ) \tan ^{-1}(a x)-259 \tanh ^{-1}\left (\frac {a x}{\sqrt {a^2 x^2+1}}\right )+309 \text {Li}_3\left (-i e^{i \tan ^{-1}(a x)}\right )-309 \text {Li}_3\left (i e^{i \tan ^{-1}(a x)}\right )\right )\right )\right )}{15482880 a^4 \sqrt {a^2 x^2+1}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.67, size = 0, normalized size = 0.00 \[ {\rm integral}\left ({\left (a^{4} c^{2} x^{7} + 2 \, a^{2} c^{2} x^{5} + c^{2} x^{3}\right )} \sqrt {a^{2} c x^{2} + c} \arctan \left (a x\right )^{3}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: TypeError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 2.85, size = 525, normalized size = 0.66 \[ \frac {c^{2} \sqrt {c \left (a x -i\right ) \left (a x +i\right )}\, \left (13440 \arctan \left (a x \right )^{3} x^{8} a^{8}-5040 \arctan \left (a x \right )^{2} x^{7} a^{7}+36480 \arctan \left (a x \right )^{3} x^{6} a^{6}+1440 \arctan \left (a x \right ) x^{6} a^{6}-12360 \arctan \left (a x \right )^{2} x^{5} a^{5}+28800 \arctan \left (a x \right )^{3} x^{4} a^{4}-240 x^{5} a^{5}+3216 \arctan \left (a x \right ) x^{4} a^{4}-6150 \arctan \left (a x \right )^{2} x^{3} a^{3}+1920 \arctan \left (a x \right )^{3} x^{2} a^{2}-504 a^{3} x^{3}-188 \arctan \left (a x \right ) a^{2} x^{2}+6345 \arctan \left (a x \right )^{2} x a -3840 \arctan \left (a x \right )^{3}+850 a x -12314 \arctan \left (a x \right )\right )}{120960 a^{4}}+\frac {115 c^{2} \sqrt {c \left (a x -i\right ) \left (a x +i\right )}\, \left (-i \arctan \left (a x \right )^{3}+3 \arctan \left (a x \right )^{2} \ln \left (1-\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )-6 i \arctan \left (a x \right ) \polylog \left (2, \frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )+6 \polylog \left (3, \frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )\right )}{8064 a^{4} \sqrt {a^{2} x^{2}+1}}-\frac {115 c^{2} \sqrt {c \left (a x -i\right ) \left (a x +i\right )}\, \left (-i \arctan \left (a x \right )^{3}+3 \arctan \left (a x \right )^{2} \ln \left (1+\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )-6 i \arctan \left (a x \right ) \polylog \left (2, -\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )+6 \polylog \left (3, -\frac {i \left (i a x +1\right )}{\sqrt {a^{2} x^{2}+1}}\right )\right )}{8064 a^{4} \sqrt {a^{2} x^{2}+1}}-\frac {1433 i c^{2} \sqrt {c \left (a x -i\right ) \left (a x +i\right )}\, \arctan \left (\frac {i a x +1}{\sqrt {a^{2} x^{2}+1}}\right )}{7560 a^{4} \sqrt {a^{2} x^{2}+1}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int {\left (a^{2} c x^{2} + c\right )}^{\frac {5}{2}} x^{3} \arctan \left (a x\right )^{3}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int x^3\,{\mathrm {atan}\left (a\,x\right )}^3\,{\left (c\,a^2\,x^2+c\right )}^{5/2} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________